program verification nghĩa là gì

Từ điển kỹ thuật

Lĩnh vực: toán & tin

• sự kiểm chứng chương trình

• sự thử lại chương trình

• verification:    [,verifi'keiʃn]danh từsự thẩm trasự xác minhverification[sợ,phép] thử lạiTừ điển kinh doanhgiám địnhverification of assetssự giám định tài sản (của kiểm toán viên)kiểm chứngkiểm nghiệmsimultaneous v
• complete verification:    Từ điển kinh doanhkiểm tra toàn diện
• constant verification:    Từ điển kỹ thuậtLĩnh vực: điệnsự kiểm tra hằng số

Câu ví dụ

That was the first time I learned about program verification, I guess.
Là lần đầu tiên biết thế nào là viết kiểm điểm

Program verification: To err is human
Chương trình dịch sách 2 : TO ERR IS HUMAN

Port 0 also receives the code bytes during Flash programming, and outputs the code bytes during program verification.
Port 0 cũng nhận các byte mã trong khi lập trình cho Flash và xuất các byte mã trong khi kiểm tra chương trình.

Port 0 also receives the code bytes during Flash programming, and outputs the code bytes during program verification.
Port 0 cũng nhận các byte code (byte mã chương trình) khi lập trình Flash, và xuất ra các byte code khi kiểm tra chương trình.

1 APPROACHES TO SOFTWARE TESTING PROGRAM VERIFICATION AND VALIDATION Validation: Are we building the right product?
Phân tích yêu cầu phần mềm Verification and Validation Kiểm chứng (Validation) Problem “Chúng ta đã xây dựng đúng hệ thống ?”